همگرایی قوی در نظریه مدل های متناهی

پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
نویسنده سیدعلیرضا نیک بخت
استاد راهنما سیدمحمد باقری
تعداد صفحات: ۱۵ صفحه ی اول
سال انتشار 1391

چکیده

در نظریه ی مدلهای متناهی قانونی به نام 0-1 وجود دارد که درباره حد کسر مدلهای رابطه ای از اندازه n که یک جمله ی مشخص را ارضا میکنند صحبت میکند. این قضیه به اشکال مختلف گسترش داده شده است که در این جا حالت ویژه ای از قانون صفر و یک به نام قانون صفر و یک قوی را با تعریف یک اندازه سیگما جمعی روی دنباله های مدلهای متناهی از اندازه 1 تا n تعریف میکنیم و بررسی میکنیم برای هر جمله ی مرتبه اول، خود جمله یا نقیض آن در مدل از اندازه n نهایتا به طور قریب به یقین برقرار است که درواقع به معنای بررسی قانون صفر و یک قوی برای جملات است و در ادامه گسترشی از آن را که قانون همگرایی قوی نامیده شده و در واقع تعبیری از قانون صفرویک قوی روی فرمولهاست بیان میکنیم و در پایان نشان میدهیم، منطق متناهی با نامتناهی متغییر دارای قانون همگرایی قوی برای فرمولها،برای یک اندازه ی یکنواخت میباشدو این قانون را برای برخی اندازه های غیر یکنواخت نیز بررسی میکنیم.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

تحول در نظریه های همگرایی

در تبیین علل و عوامل توسعه همکاری در میان کشورها نظریه های مختلفی مطرح شده است. یکی از نظریه هایی که به این موضوع می پردازد‘ همگرایی منطقه ای است که اساساً از تجربه های جوامع اروپایی نشأت گرفته است. در پی موفقیت کشورهای اروپایی در توسعه روابط فنی و اقتصادی‘ بسیاری از کشورهای جهان سوم بهره گیری از آن را به عنوان یک استراتژی برای رشد مورد توجه قرار دادند. گروه بندیهای متعددی د ر میان این کشورها‘ ب...

متن کامل

تحول در نظریه های همگرایی

متن کامل

مدل های نظریه مجموعه های متناهی

( با توجه به اینکه این پایان نامه با نرم افزار فارسی تک نوشته شده فایل word آن موجود نمی باشد و فایلهای تک آن درج شده است ) نظریه مجموعه های متناهی بخش ضعیفی از نظریه مجموعه هاست که با جایگزینی نقیض اصل نامتناهی به جای آن در نظریه مجموعه های اصل بندی شده توسط zermello , fraenkel بدست می آید. یک omegaـمدل برای این نظریه مدلی است که تمام اعضای آن متناهی هستند. در اینجا با این دیدگاه که هر مدل نظ...

15 صفحه اول

همگرایی قوی روش عنصر متناهی برای معادله‏ی موج خطی تصادفی با نوفه جمعی

در این پایان نامه، حل تقریبی معادله ی موج خطی تصادفی با نوفه ی جمعی در قالب نظریه ی نیم گروه ها مورد مطالعه قرار گرفته است. برای این منظور، از روش های عنصر متناهی و اویلر پسرو به ترتیب برای نیم گسسته سازی مکان و زمان استفاده شده است. ابتدا، تخمین های خطای بهینه با کمترین همواری لازم برای مسأله ی غیرتصادفی نیم گسسته به دست آمده اند و در اثبات تخمین های همگرایی قوی برای مسأله ی تصادفی استفاده...

15 صفحه اول

همگرایی قوی روش عنصر متناهی برای معادله ی گرمای خطی تصادفی با نوفه جمعی

در این پایان نامه حل تقریبی معادله ی گرمای خطی تصادفی با نوفه ی جمعی مورد مطالعه قرار گرفته است. در این راستا از روش های عنصر متناهی و اویلر پسرو به ترنیب برای نیم گسسته سازی مکان و زمان استفاده شده است. ابتدا تخمین خطا برای مسآله ی تصادفی نیم گسسته به دست آمده است که در نهایت در اثبات تخمین های همگرایی قوی برای مساله ی تصادفی استفاده شده اند.

همگرایی قوی به روش هیبرید

فرض کنید c زیر مجموعه ای ناتهی، بسته و محدب از یک فضای هیلبرت حقیقی است. و هم چنین، دنباله {t_n } را خانواده ای از خود نگاشتها روی c در نظر می گیریم به طوری که مجموعه همه نقاط ثابت مشترک آن ناتهی باشد.دنباله {x_n } تولید شده به روش هیبرید را به صورت زیر تعریف می کنیم: {?(x_(0 )=x?c,@y_n=t_n p_c (x_n+?_n ),@c_n={z?c??y_n-z?^2??x_n+?_n-z?^2-a_n ?p_c (x_n+?_n )-y_n ?^2 },@q_n={z?c?(x_0-x_n,x_n-z)...

15 صفحه اول

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}

نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی

کلمات کلیدی

نظریه مدلهای متناهی قانون صفر و یک قانون صفر و یک قوی

میزبانی شده توسط پلتفرم ابری doprax.com